type mybool = Mytrue : mybool | Myfalse : mybool

let f b
returns r where (r = 0)
= match b with
 Myfalse -> 0
end
